$\forall$$w$:World, $e$:E. kind($e$) $\sim$ kind(a(loc($e$);time($e$)))